\begin{tabbing}
$\forall$\=$D$:Dsys, $s$:($i$:Id$\rightarrow$M($i$).(timed)state), $t$:$\mathbb{N}$, $f$:(\{0..$t$$^{-}$\}$\rightarrow$($i$:Id$\rightarrow$d{-}world{-}state($D$;$i$))),\+
\\[0ex]$d$:(Id$\rightarrow$Id$\rightarrow\mathbb{B}$).
\-\\[0ex]d{-}partial{-}world($D$;$f$;$t$;$s$;$d$) $\in$ World
\end{tabbing}